Fix extern declarations in VMX code. They looked okay to me, but GCC
sometimes barfed on them.
int vmcs_size;
unsigned int opt_vmx_debug_level;
+extern long evtchn_send(int lport);
+extern long do_block(void);
+
int start_vmx()
{
struct vmcs_struct *vmcs;
unsigned long addr;
unsigned long eip;
- extern long evtchn_send(int lport);
- extern long do_block(void);
-
__vmread(GUEST_EIP, &eip);
VMX_DBG_LOG(DBG_LEVEL_1,
*/
static inline void vmx_vmexit_do_hlt()
{
- extern long do_block(void);
#if VMX_DEBUG
unsigned long eip;
__vmread(GUEST_EIP, &eip);
#include <xen/event.h>
#include <public/io/ioreq.h>
+extern long do_block();
+
void vmx_io_assist(struct exec_domain *ed)
{
vcpu_iodata_t *vio;
struct domain *d = ed->domain;
execution_context_t *ec = get_execution_context();
unsigned long old_eax;
- extern long do_block();
unsigned long eflags;
int dir;
void vmx_do_resume(struct exec_domain *d)
{
- extern long do_block();
-
__vmwrite(HOST_CR3, pagetable_val(d->mm.monitor_table));
__vmwrite(GUEST_CR3, pagetable_val(d->mm.shadow_table));
__vmwrite(HOST_ESP, (unsigned long) get_stack_top());